denotational semantics meaning in English

标志语意
标志语义
完全抽象
指称语义学

Examples

The study of denotational semantics of vhdl
西方语言哲学研究的现状与前景
Equivalence proving of operational and denotational semantics about repeat - until statement
语句的操作语义与指称语义的等价性证明
It is shown that the proposed refinement approaches have the commonly expected properties : the behaviour of the refined process can be inferred compositionally from the behaviour of the original process and from the behaviour of the processes substituted for actions ; the timed extensions of pomset partially ordered multiset trace equivalence and history preserving bisimulation equivalence are both congruences under the refinement ; the syntactic and semantic refinements coincide up to the aforementioned equivalence relations with respect to a cpo - based denotational semantics
然而，对于并发系统来说，时间指标是一个至关重要的因素，很多现实生活中的并发系统都跟时间密切相关，另外，紧急事件在实时并发系统中也是常见的现象，在已研究的动作精化理论当中紧急事件都仅仅只限于用来模拟超时事件，并且是不能被精化的，这对于很多现实系统来说是一个很大的限制。
The main work included : the classical lambda calculus was modified to describe the character of dynamic fuzzy ; the abstract syntax of dfl programming language was described through bnf notation ; an operational semantics model of dfl programming language was proposed with a ternary array < dfsc , dfo , dfss > and then some basic data types and several mechanisms of constructing new data types were defined ; the frame of dfl progaramming language was provided ; it was described how to solve some problems applying the operational semantics model ; the correctness and reliability of the operational semantics model were proved by hoare logic and denotational semantics
主要内容包括:变形传统的演算,以更好地描述具有动态模糊性的问题;通过bnf描述了dfl程序设计语言的抽象语法;通过一个三元组< dfsc , dfo , dfss >给出了dfl程序设计语言的操作语义模型;给出了dfl程序设计语言的基本框架结构;给出了该操作语义模型的一些应用实例;通过hoare逻辑和基本指称语义对本文所定义的操作语义模型的正确性和可靠性进行了证明。由此可见,本文从全新的角度定义了一种可以处理动态模糊问题的程序设计语言。

denotational semantics meaning in English

Examples

Related Words